Optimal. Leaf size=139 \[ \frac {28 a^2 x}{b^9}-\frac {7 a x^2}{2 b^8}+\frac {x^3}{3 b^7}+\frac {a^9}{6 b^{10} (a+b x)^6}-\frac {9 a^8}{5 b^{10} (a+b x)^5}+\frac {9 a^7}{b^{10} (a+b x)^4}-\frac {28 a^6}{b^{10} (a+b x)^3}+\frac {63 a^5}{b^{10} (a+b x)^2}-\frac {126 a^4}{b^{10} (a+b x)}-\frac {84 a^3 \log (a+b x)}{b^{10}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.08, antiderivative size = 139, normalized size of antiderivative = 1.00, number of steps
used = 2, number of rules used = 1, integrand size = 11, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.091, Rules used = {45}
\begin {gather*} \frac {a^9}{6 b^{10} (a+b x)^6}-\frac {9 a^8}{5 b^{10} (a+b x)^5}+\frac {9 a^7}{b^{10} (a+b x)^4}-\frac {28 a^6}{b^{10} (a+b x)^3}+\frac {63 a^5}{b^{10} (a+b x)^2}-\frac {126 a^4}{b^{10} (a+b x)}-\frac {84 a^3 \log (a+b x)}{b^{10}}+\frac {28 a^2 x}{b^9}-\frac {7 a x^2}{2 b^8}+\frac {x^3}{3 b^7} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 45
Rubi steps
\begin {align*} \int \frac {x^9}{(a+b x)^7} \, dx &=\int \left (\frac {28 a^2}{b^9}-\frac {7 a x}{b^8}+\frac {x^2}{b^7}-\frac {a^9}{b^9 (a+b x)^7}+\frac {9 a^8}{b^9 (a+b x)^6}-\frac {36 a^7}{b^9 (a+b x)^5}+\frac {84 a^6}{b^9 (a+b x)^4}-\frac {126 a^5}{b^9 (a+b x)^3}+\frac {126 a^4}{b^9 (a+b x)^2}-\frac {84 a^3}{b^9 (a+b x)}\right ) \, dx\\ &=\frac {28 a^2 x}{b^9}-\frac {7 a x^2}{2 b^8}+\frac {x^3}{3 b^7}+\frac {a^9}{6 b^{10} (a+b x)^6}-\frac {9 a^8}{5 b^{10} (a+b x)^5}+\frac {9 a^7}{b^{10} (a+b x)^4}-\frac {28 a^6}{b^{10} (a+b x)^3}+\frac {63 a^5}{b^{10} (a+b x)^2}-\frac {126 a^4}{b^{10} (a+b x)}-\frac {84 a^3 \log (a+b x)}{b^{10}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.02, size = 128, normalized size = 0.92 \begin {gather*} -\frac {2509 a^9+12534 a^8 b x+23775 a^7 b^2 x^2+19100 a^6 b^3 x^3+1725 a^5 b^4 x^4-6870 a^4 b^5 x^5-3665 a^3 b^6 x^6-360 a^2 b^7 x^7+45 a b^8 x^8-10 b^9 x^9+2520 a^3 (a+b x)^6 \log (a+b x)}{30 b^{10} (a+b x)^6} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Mathics [A]
time = 3.61, size = 272, normalized size = 1.96 \begin {gather*} \frac {-2520 a^9 \text {Log}\left [a+b x\right ]-2509 a^9-15120 a^8 b x \text {Log}\left [a+b x\right ]-12534 a^8 b x-37800 a^7 b^2 x^2 \text {Log}\left [a+b x\right ]-23775 a^7 b^2 x^2-50400 a^6 b^3 x^3 \text {Log}\left [a+b x\right ]-19100 a^6 b^3 x^3-37800 a^5 b^4 x^4 \text {Log}\left [a+b x\right ]-1725 a^5 b^4 x^4-15120 a^4 b^5 x^5 \text {Log}\left [a+b x\right ]+6870 a^4 b^5 x^5-2520 a^3 b^6 x^6 \text {Log}\left [a+b x\right ]+3665 a^3 b^6 x^6+360 a^2 b^7 x^7-45 a b^8 x^8+10 b^9 x^9}{30 b^{10} \left (a^6+6 a^5 b x+15 a^4 b^2 x^2+20 a^3 b^3 x^3+15 a^2 b^4 x^4+6 a b^5 x^5+b^6 x^6\right )} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.10, size = 132, normalized size = 0.95
method | result | size |
risch | \(\frac {x^{3}}{3 b^{7}}-\frac {7 a \,x^{2}}{2 b^{8}}+\frac {28 a^{2} x}{b^{9}}+\frac {-126 a^{4} b^{4} x^{5}-567 a^{5} b^{3} x^{4}-1036 a^{6} b^{2} x^{3}-957 a^{7} b \,x^{2}-\frac {2229 a^{8} x}{5}-\frac {2509 a^{9}}{30 b}}{b^{9} \left (b x +a \right )^{6}}-\frac {84 a^{3} \ln \left (b x +a \right )}{b^{10}}\) | \(110\) |
norman | \(\frac {\frac {x^{9}}{3 b}-\frac {3 a \,x^{8}}{2 b^{2}}-\frac {1029 a^{9}}{5 b^{10}}+\frac {12 a^{2} x^{7}}{b^{3}}-\frac {504 a^{4} x^{5}}{b^{5}}-\frac {1890 a^{5} x^{4}}{b^{6}}-\frac {3080 a^{6} x^{3}}{b^{7}}-\frac {2625 a^{7} x^{2}}{b^{8}}-\frac {5754 a^{8} x}{5 b^{9}}}{\left (b x +a \right )^{6}}-\frac {84 a^{3} \ln \left (b x +a \right )}{b^{10}}\) | \(114\) |
default | \(\frac {\frac {1}{3} b^{2} x^{3}-\frac {7}{2} a b \,x^{2}+28 a^{2} x}{b^{9}}-\frac {126 a^{4}}{b^{10} \left (b x +a \right )}+\frac {9 a^{7}}{b^{10} \left (b x +a \right )^{4}}+\frac {63 a^{5}}{b^{10} \left (b x +a \right )^{2}}+\frac {a^{9}}{6 b^{10} \left (b x +a \right )^{6}}-\frac {84 a^{3} \ln \left (b x +a \right )}{b^{10}}-\frac {9 a^{8}}{5 b^{10} \left (b x +a \right )^{5}}-\frac {28 a^{6}}{b^{10} \left (b x +a \right )^{3}}\) | \(132\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.26, size = 169, normalized size = 1.22 \begin {gather*} -\frac {3780 \, a^{4} b^{5} x^{5} + 17010 \, a^{5} b^{4} x^{4} + 31080 \, a^{6} b^{3} x^{3} + 28710 \, a^{7} b^{2} x^{2} + 13374 \, a^{8} b x + 2509 \, a^{9}}{30 \, {\left (b^{16} x^{6} + 6 \, a b^{15} x^{5} + 15 \, a^{2} b^{14} x^{4} + 20 \, a^{3} b^{13} x^{3} + 15 \, a^{4} b^{12} x^{2} + 6 \, a^{5} b^{11} x + a^{6} b^{10}\right )}} - \frac {84 \, a^{3} \log \left (b x + a\right )}{b^{10}} + \frac {2 \, b^{2} x^{3} - 21 \, a b x^{2} + 168 \, a^{2} x}{6 \, b^{9}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.31, size = 239, normalized size = 1.72 \begin {gather*} \frac {10 \, b^{9} x^{9} - 45 \, a b^{8} x^{8} + 360 \, a^{2} b^{7} x^{7} + 3665 \, a^{3} b^{6} x^{6} + 6870 \, a^{4} b^{5} x^{5} - 1725 \, a^{5} b^{4} x^{4} - 19100 \, a^{6} b^{3} x^{3} - 23775 \, a^{7} b^{2} x^{2} - 12534 \, a^{8} b x - 2509 \, a^{9} - 2520 \, {\left (a^{3} b^{6} x^{6} + 6 \, a^{4} b^{5} x^{5} + 15 \, a^{5} b^{4} x^{4} + 20 \, a^{6} b^{3} x^{3} + 15 \, a^{7} b^{2} x^{2} + 6 \, a^{8} b x + a^{9}\right )} \log \left (b x + a\right )}{30 \, {\left (b^{16} x^{6} + 6 \, a b^{15} x^{5} + 15 \, a^{2} b^{14} x^{4} + 20 \, a^{3} b^{13} x^{3} + 15 \, a^{4} b^{12} x^{2} + 6 \, a^{5} b^{11} x + a^{6} b^{10}\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 0.44, size = 180, normalized size = 1.29 \begin {gather*} - \frac {84 a^{3} \log {\left (a + b x \right )}}{b^{10}} + \frac {28 a^{2} x}{b^{9}} - \frac {7 a x^{2}}{2 b^{8}} + \frac {- 2509 a^{9} - 13374 a^{8} b x - 28710 a^{7} b^{2} x^{2} - 31080 a^{6} b^{3} x^{3} - 17010 a^{5} b^{4} x^{4} - 3780 a^{4} b^{5} x^{5}}{30 a^{6} b^{10} + 180 a^{5} b^{11} x + 450 a^{4} b^{12} x^{2} + 600 a^{3} b^{13} x^{3} + 450 a^{2} b^{14} x^{4} + 180 a b^{15} x^{5} + 30 b^{16} x^{6}} + \frac {x^{3}}{3 b^{7}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 0.00, size = 134, normalized size = 0.96 \begin {gather*} \frac {\frac {1}{3} x^{3} b^{14}-\frac {7}{2} x^{2} b^{13} a+28 x b^{12} a^{2}}{b^{21}}+\frac {\frac {1}{30} \left (-3780 b^{5} a^{4} x^{5}-17010 b^{4} a^{5} x^{4}-31080 b^{3} a^{6} x^{3}-28710 b^{2} a^{7} x^{2}-13374 b a^{8} x-2509 a^{9}\right )}{b^{10} \left (x b+a\right )^{6}}-\frac {84 a^{3} \ln \left |x b+a\right |}{b^{10}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.55, size = 115, normalized size = 0.83 \begin {gather*} -\frac {\frac {9\,a\,{\left (a+b\,x\right )}^2}{2}-\frac {{\left (a+b\,x\right )}^3}{3}+\frac {126\,a^4}{a+b\,x}-\frac {63\,a^5}{{\left (a+b\,x\right )}^2}+\frac {28\,a^6}{{\left (a+b\,x\right )}^3}-\frac {9\,a^7}{{\left (a+b\,x\right )}^4}+\frac {9\,a^8}{5\,{\left (a+b\,x\right )}^5}-\frac {a^9}{6\,{\left (a+b\,x\right )}^6}+84\,a^3\,\ln \left (a+b\,x\right )-36\,a^2\,b\,x}{b^{10}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________